The scenario coevolution paradigm: adaptive quality assurance for adaptive systems

Coevolution Based Adaptive Monte

Self-localization, a basic problem in mobile robot systems, can be divided into two subproblems: pose tracking and global localization. In pose tracking, the initial robot pose is known, and localization seeks to identify small, incremental errors in a robot’s odometry (Leonard & Durrant-Whyte, 1991). In global localization, however the robot is required to estimate its pose by local and incomp...

Scenario-based run-time adaptive MPSoC systems

The ever-increasing performance demand of modern embedded applications drives the development of multi-processor system-on-chip (MPSoC) systems in the embedded domain. Today’s MPSoC-based products increasingly have to deal with multiple application execution scenarios which may change dynamically at run time. To improve the system performance, a state-of-the-art solution is to dynamically adapt...

Adaptive fuzzy pole placement for stabilization of non-linear systems

A new approach for pole placement of nonlinear systems using state feedback and fuzzy system is proposed. We use a new online fuzzy training method to identify and to obtain a fuzzy model for the unknown nonlinear system using only the system input and output. Then, we linearized this identified model at each sampling time to have an approximate linear time varying system. In order to stabilize...

Assurance Using Models at Runtime for Self-Adaptive Software Systems

Self-adaptive software systems modify their behaviour at runtime in response to changes in the system or its environment. The fulfilment of the system requirements and reachability of the system goals needs to be guaranteed even in the presence of adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence in the correctness of a system is gaine...

Adaptive Knowledge-Based Monitoring for Information Assurance